$\forall$$a$:\{$\ldots\,$0\}, $n$:$\mathbb{N}^{+}$. (0 $\geq$ ($a$ rem $n$) ) \& (($a$ rem $n$) $>$ ({-}$n$))